Feeds to Scour
SubscribedAll
Scoured 252236 posts in 1.81 s
Understanding Automata Theory Through Route Maps
dev.to·1h·
Discuss: DEV
✓Formal Verification
Preview
Report Post
Hj Hornbeck
freethoughtblogs.com·21h
🌊CALM Theorem
Preview
Report Post
From Zero to QED: An informal introduction to formality in Lean 4
sdiehl.github.io·1d
💎Refinement Types
Preview
Report Post
🎲 Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.io·14h
🔒S2N-QUIC
Preview
Report Post
**Title:** Enhanced Symmetry Detection via Adaptive Graph Resonance and Temporal Correlation Analysis: A Novel Approach to Mirror Symmetry Validation in High-Dimensional Spaces
freederia.com·3h
🕸️GraphBLAS
Preview
Report Post
Department of Computer Science and Technology – Technical reports: UCAM-CL-TR-949
cl.cam.ac.uk·8h·
Discuss: Hacker News
🏷️Memory Tagging
Preview
Report Post
How to Craft a Strong AI/ML Thesis Statement
pub.towardsai.net
·1h
💬Natural Language Processing
Preview
Report Post
A Validated Semantics for LLVM IR
sf.snu.ac.kr·18h
🏗️MLIR
Preview
Report Post
Emergent temporal abstractions in autoregressive models enable hierarchical reinforcement learning
reddit.com·1d·
Discuss: r/Artificial2Sentience
🎯Reinforcement Learning
Preview
Report Post
Introducing the XLab AI Security Guide
lesswrong.com·12h
🛡️AI Security
Preview
Report Post
Self-Supervised Temporal Pattern Mining for circular manufacturing supply chains with embodied agent feedback loops
dev.to·8h·
Discuss: DEV
⚡LMAX Disruptor
Preview
Report Post
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
arxiv.org·4d
🛡️Error Handling
Preview
Report Post
Dynamic graph neural networks for improving the reliability of traffic flow prediction: Progress and prospects
sciencedirect.com·1d
🕸️Graph Theory
Preview
Report Post
On (and Contra) Chalmers on LLM Interlocutors
benjamincongdon.me·23h
💫Effect Systems
Preview
Report Post
Longreads + Open Thread
thediff.co·12h
📡RSS
Preview
Report Post
I'm looking for high-level evaluations for a private and unique heuristic logic engine.
reddit.com·1d·
Discuss: r/LLM
🔍Datalog Engines
Preview
Report Post
Improved Simulation of Stabilizer Circuits
paperium.net·21h·
Discuss: DEV
⚛️Quantum Computing
Preview
Report Post
Complete Ergodicity in One-Dimensional Reversible Cellular Automata | Journal of Statistical Physics
link.springer.com·1d
🔲Cellular Automata
Preview
Report Post
Interviewing for ML/AI Engineers
moderndescartes.com·1d·
Discuss: Hacker News
💬Prompt Engineering
Preview
Report Post
AI-Driven Formal Theorem Proving in the Lean Ecosystem
leandojo.org·1d
📐TLA+
Preview
Report Post